Sorry, clauses larger than 32,768 bytes can’t be asserted at present.